Higher-order logic

Results: 178



#Item
51Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

Add to Reading List

Source URL: gpd.sip.ucm.es

Language: English - Date: 2007-02-08 07:42:26
    52Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

    Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

    Add to Reading List

    Source URL: ect.bell-labs.com

    Language: English - Date: 2010-12-15 21:39:09
    53Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract

    Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract

    Add to Reading List

    Source URL: www.csee.ogi.edu

    Language: English - Date: 2004-02-02 13:41:00
      54Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

      Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

      Add to Reading List

      Source URL: jeapostrophe.github.io

      Language: English - Date: 2016-02-18 16:47:50
      55A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

      A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

      Add to Reading List

      Source URL: ect.bell-labs.com

      Language: English - Date: 2010-12-15 21:36:48
      56BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

      BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2002-01-08 09:02:48
      57Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

      Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      Language: English - Date: 2014-11-03 10:29:10
      58Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

      Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

      Add to Reading List

      Source URL: www.paultaylor.eu

      Language: English - Date: 2011-04-11 06:46:45
        59Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France

        Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France

        Add to Reading List

        Source URL: assert-false.net

        Language: English - Date: 2014-06-13 08:06:32
        60Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

        Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

        Add to Reading List

        Source URL: www.itu.dk

        Language: English - Date: 2002-08-02 07:15:47